Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
491	Report from Dagstuhl Seminar[removed]Computing with Infinite Data: Topological and Logical Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-01-12 03:38:24 Topology Functional analysis General topology Theory of computation Descriptive set theory Computable analysis Computable function Mathematical analysis Baire space Mathematics Mathematical logic Computability theory
492	Complexity Theory Johan H˚ astad Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2009-05-13 03:44:33 Mathematics Mathematical logic Primitive recursive function Computable function Recursively enumerable set Μ operator Computability Function Recursion Computability theory Theory of computation Theoretical computer science
493	[removed] http://research.nii.ac.jp/∼terui/recursive.html I Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2008-04-28 02:20:26 Computability theory Formal methods Models of computation Functions and mappings Logic in computer science Function Peano axioms N1 Turing machine Mathematics Mathematical logic Theoretical computer science
494	Amending Frege’s Grundgesetze der Arithmetik [draft] To the memory of Nhˆe[removed]) Add to Reading List Source URL: www.ciul.ul.pt Language: English - Date: 2002-10-10 10:09:04 Philosophy of mathematics Type theory Axiom of reducibility Bertrand Russell Computability theory Logicism Gottlob Frege Principia Mathematica Function Mathematics Mathematical logic Logic
495	Sy Friedman KGRC, Vienna, Austria I am interested in higher recursion theory, abstract set theory, descriptive set theory and in the application of set theory to questions in model theory. My earliest Add to Reading List Source URL: www.math.uni-muenster.de Language: English - Date: 2009-03-20 04:44:36 Forcing L Model theory Computability theory Singular cardinals hypothesis Inner model Mathematics Mathematical logic Set theory Inner model theory
496	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-22 04:05:49 Logic in computer science Lambda calculus Models of computation Computability theory Combinatory logic Curry–Howard correspondence Model theory Structure Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
497	The science of computing first edition Add to Reading List Source URL: ozark.hendrix.edu Language: English - Date: 2003-12-19 15:54:33 Models of computation Computability theory Digital electronics Computational complexity theory Computability Logic gate Computer Finite-state machine Electronic circuit Theoretical computer science Mathematics Applied mathematics
498	KEITH DEVLIN Books Trade books Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-11-03 14:45:33 Mathematical logic Logic Knowledge Mathematician Number theory Computability theory Philosophy of mathematics Science Mathematics
499	The Two Origins of Modern Logic 1879, 1936 Witold Marciszewski∗ Add to Reading List Source URL: www.calculemus.org Language: English - Date: 2003-04-22 15:13:35 Mathematical logic Philosophical logic Gottfried Leibniz Philosophers of mathematics Computability theory Characteristica universalis Gottlob Frege Calculus ratiocinator Function Logic Mathematics Philosophy
500	RECURSIVELY ENUMERABLE SETS OF POSITIVE INTEGERS AND THEIR DECISION PROBLEMS EMIL L. POST Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:41:27 Theory of computation Mathematical logic Recursively enumerable set RE Recursive set Presentation of a group Undecidable problem Enumeration Computability Theoretical computer science Mathematics Computability theory

UPDATE